Optimal. Leaf size=339 \[ \frac {(A c-b C) x}{c^2}+\frac {B x^2}{2 c}+\frac {C x^3}{3 c}-\frac {\left (A b c-b^2 C+a c C-\frac {A c \left (b^2-2 a c\right )-b \left (b^2-3 a c\right ) C}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {\sqrt {2} \sqrt {c} x}{\sqrt {b-\sqrt {b^2-4 a c}}}\right )}{\sqrt {2} c^{5/2} \sqrt {b-\sqrt {b^2-4 a c}}}-\frac {\left (A b c-b^2 C+a c C+\frac {A c \left (b^2-2 a c\right )-b \left (b^2-3 a c\right ) C}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {\sqrt {2} \sqrt {c} x}{\sqrt {b+\sqrt {b^2-4 a c}}}\right )}{\sqrt {2} c^{5/2} \sqrt {b+\sqrt {b^2-4 a c}}}-\frac {B \left (b^2-2 a c\right ) \tanh ^{-1}\left (\frac {b+2 c x^2}{\sqrt {b^2-4 a c}}\right )}{2 c^2 \sqrt {b^2-4 a c}}-\frac {b B \log \left (a+b x^2+c x^4\right )}{4 c^2} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 1.21, antiderivative size = 339, normalized size of antiderivative = 1.00, number of steps
used = 13, number of rules used = 11, integrand size = 28, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.393, Rules used = {1676, 1293,
1180, 211, 12, 1128, 717, 648, 632, 212, 642} \begin {gather*} -\frac {\left (-\frac {A c \left (b^2-2 a c\right )-b C \left (b^2-3 a c\right )}{\sqrt {b^2-4 a c}}+a c C+A b c+b^2 (-C)\right ) \text {ArcTan}\left (\frac {\sqrt {2} \sqrt {c} x}{\sqrt {b-\sqrt {b^2-4 a c}}}\right )}{\sqrt {2} c^{5/2} \sqrt {b-\sqrt {b^2-4 a c}}}-\frac {\left (\frac {A c \left (b^2-2 a c\right )-b C \left (b^2-3 a c\right )}{\sqrt {b^2-4 a c}}+a c C+A b c+b^2 (-C)\right ) \text {ArcTan}\left (\frac {\sqrt {2} \sqrt {c} x}{\sqrt {\sqrt {b^2-4 a c}+b}}\right )}{\sqrt {2} c^{5/2} \sqrt {\sqrt {b^2-4 a c}+b}}-\frac {B \left (b^2-2 a c\right ) \tanh ^{-1}\left (\frac {b+2 c x^2}{\sqrt {b^2-4 a c}}\right )}{2 c^2 \sqrt {b^2-4 a c}}-\frac {b B \log \left (a+b x^2+c x^4\right )}{4 c^2}+\frac {x (A c-b C)}{c^2}+\frac {B x^2}{2 c}+\frac {C x^3}{3 c} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 211
Rule 212
Rule 632
Rule 642
Rule 648
Rule 717
Rule 1128
Rule 1180
Rule 1293
Rule 1676
Rubi steps
\begin {align*} \int \frac {x^4 \left (A+B x+C x^2\right )}{a+b x^2+c x^4} \, dx &=\int \frac {B x^5}{a+b x^2+c x^4} \, dx+\int \frac {x^4 \left (A+C x^2\right )}{a+b x^2+c x^4} \, dx\\ &=\frac {C x^3}{3 c}+B \int \frac {x^5}{a+b x^2+c x^4} \, dx-\frac {\int \frac {x^2 \left (3 a C-3 (A c-b C) x^2\right )}{a+b x^2+c x^4} \, dx}{3 c}\\ &=\frac {(A c-b C) x}{c^2}+\frac {C x^3}{3 c}+\frac {1}{2} B \text {Subst}\left (\int \frac {x^2}{a+b x+c x^2} \, dx,x,x^2\right )+\frac {\int \frac {-3 a (A c-b C)-3 \left (A b c-b^2 C+a c C\right ) x^2}{a+b x^2+c x^4} \, dx}{3 c^2}\\ &=\frac {(A c-b C) x}{c^2}+\frac {B x^2}{2 c}+\frac {C x^3}{3 c}+\frac {B \text {Subst}\left (\int \frac {-a-b x}{a+b x+c x^2} \, dx,x,x^2\right )}{2 c}-\frac {\left (A b c-b^2 C+a c C-\frac {A c \left (b^2-2 a c\right )-b \left (b^2-3 a c\right ) C}{\sqrt {b^2-4 a c}}\right ) \int \frac {1}{\frac {b}{2}-\frac {1}{2} \sqrt {b^2-4 a c}+c x^2} \, dx}{2 c^2}-\frac {\left (A b c-b^2 C+a c C+\frac {A c \left (b^2-2 a c\right )-b \left (b^2-3 a c\right ) C}{\sqrt {b^2-4 a c}}\right ) \int \frac {1}{\frac {b}{2}+\frac {1}{2} \sqrt {b^2-4 a c}+c x^2} \, dx}{2 c^2}\\ &=\frac {(A c-b C) x}{c^2}+\frac {B x^2}{2 c}+\frac {C x^3}{3 c}-\frac {\left (A b c-b^2 C+a c C-\frac {A c \left (b^2-2 a c\right )-b \left (b^2-3 a c\right ) C}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {\sqrt {2} \sqrt {c} x}{\sqrt {b-\sqrt {b^2-4 a c}}}\right )}{\sqrt {2} c^{5/2} \sqrt {b-\sqrt {b^2-4 a c}}}-\frac {\left (A b c-b^2 C+a c C+\frac {A c \left (b^2-2 a c\right )-b \left (b^2-3 a c\right ) C}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {\sqrt {2} \sqrt {c} x}{\sqrt {b+\sqrt {b^2-4 a c}}}\right )}{\sqrt {2} c^{5/2} \sqrt {b+\sqrt {b^2-4 a c}}}-\frac {(b B) \text {Subst}\left (\int \frac {b+2 c x}{a+b x+c x^2} \, dx,x,x^2\right )}{4 c^2}+\frac {\left (B \left (b^2-2 a c\right )\right ) \text {Subst}\left (\int \frac {1}{a+b x+c x^2} \, dx,x,x^2\right )}{4 c^2}\\ &=\frac {(A c-b C) x}{c^2}+\frac {B x^2}{2 c}+\frac {C x^3}{3 c}-\frac {\left (A b c-b^2 C+a c C-\frac {A c \left (b^2-2 a c\right )-b \left (b^2-3 a c\right ) C}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {\sqrt {2} \sqrt {c} x}{\sqrt {b-\sqrt {b^2-4 a c}}}\right )}{\sqrt {2} c^{5/2} \sqrt {b-\sqrt {b^2-4 a c}}}-\frac {\left (A b c-b^2 C+a c C+\frac {A c \left (b^2-2 a c\right )-b \left (b^2-3 a c\right ) C}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {\sqrt {2} \sqrt {c} x}{\sqrt {b+\sqrt {b^2-4 a c}}}\right )}{\sqrt {2} c^{5/2} \sqrt {b+\sqrt {b^2-4 a c}}}-\frac {b B \log \left (a+b x^2+c x^4\right )}{4 c^2}-\frac {\left (B \left (b^2-2 a c\right )\right ) \text {Subst}\left (\int \frac {1}{b^2-4 a c-x^2} \, dx,x,b+2 c x^2\right )}{2 c^2}\\ &=\frac {(A c-b C) x}{c^2}+\frac {B x^2}{2 c}+\frac {C x^3}{3 c}-\frac {\left (A b c-b^2 C+a c C-\frac {A c \left (b^2-2 a c\right )-b \left (b^2-3 a c\right ) C}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {\sqrt {2} \sqrt {c} x}{\sqrt {b-\sqrt {b^2-4 a c}}}\right )}{\sqrt {2} c^{5/2} \sqrt {b-\sqrt {b^2-4 a c}}}-\frac {\left (A b c-b^2 C+a c C+\frac {A c \left (b^2-2 a c\right )-b \left (b^2-3 a c\right ) C}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {\sqrt {2} \sqrt {c} x}{\sqrt {b+\sqrt {b^2-4 a c}}}\right )}{\sqrt {2} c^{5/2} \sqrt {b+\sqrt {b^2-4 a c}}}-\frac {B \left (b^2-2 a c\right ) \tanh ^{-1}\left (\frac {b+2 c x^2}{\sqrt {b^2-4 a c}}\right )}{2 c^2 \sqrt {b^2-4 a c}}-\frac {b B \log \left (a+b x^2+c x^4\right )}{4 c^2}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.39, size = 460, normalized size = 1.36 \begin {gather*} \frac {12 \sqrt {c} (A c-b C) x+6 B c^{3/2} x^2+4 c^{3/2} C x^3+\frac {6 \sqrt {2} \left (A c \left (b^2-2 a c-b \sqrt {b^2-4 a c}\right )+\left (-b^3+3 a b c+b^2 \sqrt {b^2-4 a c}-a c \sqrt {b^2-4 a c}\right ) C\right ) \tan ^{-1}\left (\frac {\sqrt {2} \sqrt {c} x}{\sqrt {b-\sqrt {b^2-4 a c}}}\right )}{\sqrt {b^2-4 a c} \sqrt {b-\sqrt {b^2-4 a c}}}+\frac {6 \sqrt {2} \left (-A c \left (b^2-2 a c+b \sqrt {b^2-4 a c}\right )+\left (b^3-3 a b c+b^2 \sqrt {b^2-4 a c}-a c \sqrt {b^2-4 a c}\right ) C\right ) \tan ^{-1}\left (\frac {\sqrt {2} \sqrt {c} x}{\sqrt {b+\sqrt {b^2-4 a c}}}\right )}{\sqrt {b^2-4 a c} \sqrt {b+\sqrt {b^2-4 a c}}}-\frac {3 B \sqrt {c} \left (-b^2+2 a c+b \sqrt {b^2-4 a c}\right ) \log \left (-b+\sqrt {b^2-4 a c}-2 c x^2\right )}{\sqrt {b^2-4 a c}}-\frac {3 B \sqrt {c} \left (b^2-2 a c+b \sqrt {b^2-4 a c}\right ) \log \left (b+\sqrt {b^2-4 a c}+2 c x^2\right )}{\sqrt {b^2-4 a c}}}{12 c^{5/2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.07, size = 331, normalized size = 0.98
method | result | size |
risch | \(\frac {C \,x^{3}}{3 c}+\frac {B \,x^{2}}{2 c}+\frac {A x}{c}-\frac {b C x}{c^{2}}+\frac {\munderset {\textit {\_R} =\RootOf \left (c \,\textit {\_Z}^{4}+\textit {\_Z}^{2} b +a \right )}{\sum }\frac {\left (-b B c \,\textit {\_R}^{3}+\left (-b c A -a c C +C \,b^{2}\right ) \textit {\_R}^{2}-a c B \textit {\_R} -a c A +a b C \right ) \ln \left (x -\textit {\_R} \right )}{2 c \,\textit {\_R}^{3}+\textit {\_R} b}}{2 c^{2}}\) | \(118\) |
default | \(\frac {\frac {1}{3} c C \,x^{3}+\frac {1}{2} B c \,x^{2}+A c x -b C x}{c^{2}}+\frac {\frac {\left (2 a c \sqrt {-4 a c +b^{2}}-b^{2} \sqrt {-4 a c +b^{2}}-4 a b c +b^{3}\right ) \left (\frac {B \ln \left (-b -2 c \,x^{2}+\sqrt {-4 a c +b^{2}}\right )}{2}+\frac {\left (-2 A c -C \sqrt {-4 a c +b^{2}}+b C \right ) \sqrt {2}\, \arctanh \left (\frac {c x \sqrt {2}}{\sqrt {\left (-b +\sqrt {-4 a c +b^{2}}\right ) c}}\right )}{2 \sqrt {\left (-b +\sqrt {-4 a c +b^{2}}\right ) c}}\right )}{2 c \left (4 a c -b^{2}\right )}-\frac {\left (2 a c \sqrt {-4 a c +b^{2}}-b^{2} \sqrt {-4 a c +b^{2}}+4 a b c -b^{3}\right ) \left (\frac {B \ln \left (b +2 c \,x^{2}+\sqrt {-4 a c +b^{2}}\right )}{2}+\frac {\left (2 A c -C \sqrt {-4 a c +b^{2}}-b C \right ) \sqrt {2}\, \arctan \left (\frac {c x \sqrt {2}}{\sqrt {\left (b +\sqrt {-4 a c +b^{2}}\right ) c}}\right )}{2 \sqrt {\left (b +\sqrt {-4 a c +b^{2}}\right ) c}}\right )}{2 c \left (4 a c -b^{2}\right )}}{c}\) | \(331\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 5305 vs.
\(2 (294) = 588\).
time = 6.58, size = 5305, normalized size = 15.65 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.96, size = 2588, normalized size = 7.63 \begin {gather*} x\,\left (\frac {A}{c}-\frac {C\,b}{c^2}\right )+\left (\sum _{k=1}^4\ln \left (-\mathrm {root}\left (128\,a\,b^2\,c^6\,z^4-16\,b^4\,c^5\,z^4-256\,a^2\,c^7\,z^4-256\,B\,a^2\,b\,c^5\,z^3+128\,B\,a\,b^3\,c^4\,z^3-16\,B\,b^5\,c^3\,z^3-64\,A\,C\,a\,b^4\,c^2\,z^2+144\,A\,C\,a^2\,b^2\,c^3\,z^2+8\,A\,C\,b^6\,c\,z^2+80\,C^2\,a^3\,b\,c^3\,z^2+32\,B^2\,a\,b^4\,c^2\,z^2-48\,A^2\,a^2\,b\,c^4\,z^2+28\,A^2\,a\,b^3\,c^3\,z^2+36\,C^2\,a\,b^5\,c\,z^2-64\,A\,C\,a^3\,c^4\,z^2-100\,C^2\,a^2\,b^3\,c^2\,z^2-56\,B^2\,a^2\,b^2\,c^3\,z^2-4\,B^2\,b^6\,c\,z^2-32\,B^2\,a^3\,c^4\,z^2-4\,A^2\,b^5\,c^2\,z^2-4\,C^2\,b^7\,z^2+32\,A\,B\,C\,a^3\,b\,c^2\,z-8\,A\,B\,C\,a^2\,b^3\,c\,z-20\,B\,C^2\,a^3\,b^2\,c\,z+4\,A^2\,B\,a^2\,b^2\,c^2\,z-16\,B^3\,a^3\,b\,c^2\,z+4\,B^3\,a^2\,b^3\,c\,z+16\,B\,C^2\,a^4\,c^2\,z+4\,B\,C^2\,a^2\,b^4\,z-16\,A^2\,B\,a^3\,c^3\,z+2\,A^3\,C\,a^3\,b\,c+4\,A\,B^2\,C\,a^4\,c-2\,A^2\,C^2\,a^4\,c+2\,A\,C^3\,a^4\,b-A^2\,B^2\,a^3\,b\,c-B^2\,C^2\,a^4\,b-A^2\,C^2\,a^3\,b^2-A^4\,a^3\,c^2-B^4\,a^4\,c-C^4\,a^5,z,k\right )\,\left (\mathrm {root}\left (128\,a\,b^2\,c^6\,z^4-16\,b^4\,c^5\,z^4-256\,a^2\,c^7\,z^4-256\,B\,a^2\,b\,c^5\,z^3+128\,B\,a\,b^3\,c^4\,z^3-16\,B\,b^5\,c^3\,z^3-64\,A\,C\,a\,b^4\,c^2\,z^2+144\,A\,C\,a^2\,b^2\,c^3\,z^2+8\,A\,C\,b^6\,c\,z^2+80\,C^2\,a^3\,b\,c^3\,z^2+32\,B^2\,a\,b^4\,c^2\,z^2-48\,A^2\,a^2\,b\,c^4\,z^2+28\,A^2\,a\,b^3\,c^3\,z^2+36\,C^2\,a\,b^5\,c\,z^2-64\,A\,C\,a^3\,c^4\,z^2-100\,C^2\,a^2\,b^3\,c^2\,z^2-56\,B^2\,a^2\,b^2\,c^3\,z^2-4\,B^2\,b^6\,c\,z^2-32\,B^2\,a^3\,c^4\,z^2-4\,A^2\,b^5\,c^2\,z^2-4\,C^2\,b^7\,z^2+32\,A\,B\,C\,a^3\,b\,c^2\,z-8\,A\,B\,C\,a^2\,b^3\,c\,z-20\,B\,C^2\,a^3\,b^2\,c\,z+4\,A^2\,B\,a^2\,b^2\,c^2\,z-16\,B^3\,a^3\,b\,c^2\,z+4\,B^3\,a^2\,b^3\,c\,z+16\,B\,C^2\,a^4\,c^2\,z+4\,B\,C^2\,a^2\,b^4\,z-16\,A^2\,B\,a^3\,c^3\,z+2\,A^3\,C\,a^3\,b\,c+4\,A\,B^2\,C\,a^4\,c-2\,A^2\,C^2\,a^4\,c+2\,A\,C^3\,a^4\,b-A^2\,B^2\,a^3\,b\,c-B^2\,C^2\,a^4\,b-A^2\,C^2\,a^3\,b^2-A^4\,a^3\,c^2-B^4\,a^4\,c-C^4\,a^5,z,k\right )\,\left (-\frac {-16\,C\,a^2\,b\,c^4+16\,A\,a^2\,c^5+4\,C\,a\,b^3\,c^3-4\,A\,a\,b^2\,c^4}{c^3}+\frac {x\,\left (16\,B\,a^2\,c^5-36\,B\,a\,b^2\,c^4+8\,B\,b^4\,c^3\right )}{c^3}+\frac {\mathrm {root}\left (128\,a\,b^2\,c^6\,z^4-16\,b^4\,c^5\,z^4-256\,a^2\,c^7\,z^4-256\,B\,a^2\,b\,c^5\,z^3+128\,B\,a\,b^3\,c^4\,z^3-16\,B\,b^5\,c^3\,z^3-64\,A\,C\,a\,b^4\,c^2\,z^2+144\,A\,C\,a^2\,b^2\,c^3\,z^2+8\,A\,C\,b^6\,c\,z^2+80\,C^2\,a^3\,b\,c^3\,z^2+32\,B^2\,a\,b^4\,c^2\,z^2-48\,A^2\,a^2\,b\,c^4\,z^2+28\,A^2\,a\,b^3\,c^3\,z^2+36\,C^2\,a\,b^5\,c\,z^2-64\,A\,C\,a^3\,c^4\,z^2-100\,C^2\,a^2\,b^3\,c^2\,z^2-56\,B^2\,a^2\,b^2\,c^3\,z^2-4\,B^2\,b^6\,c\,z^2-32\,B^2\,a^3\,c^4\,z^2-4\,A^2\,b^5\,c^2\,z^2-4\,C^2\,b^7\,z^2+32\,A\,B\,C\,a^3\,b\,c^2\,z-8\,A\,B\,C\,a^2\,b^3\,c\,z-20\,B\,C^2\,a^3\,b^2\,c\,z+4\,A^2\,B\,a^2\,b^2\,c^2\,z-16\,B^3\,a^3\,b\,c^2\,z+4\,B^3\,a^2\,b^3\,c\,z+16\,B\,C^2\,a^4\,c^2\,z+4\,B\,C^2\,a^2\,b^4\,z-16\,A^2\,B\,a^3\,c^3\,z+2\,A^3\,C\,a^3\,b\,c+4\,A\,B^2\,C\,a^4\,c-2\,A^2\,C^2\,a^4\,c+2\,A\,C^3\,a^4\,b-A^2\,B^2\,a^3\,b\,c-B^2\,C^2\,a^4\,b-A^2\,C^2\,a^3\,b^2-A^4\,a^3\,c^2-B^4\,a^4\,c-C^4\,a^5,z,k\right )\,x\,\left (8\,b^3\,c^5-32\,a\,b\,c^6\right )}{c^3}\right )+\frac {8\,B\,C\,a^3\,c^3-4\,A\,B\,a^2\,b\,c^3}{c^3}+\frac {x\,\left (4\,A^2\,a^2\,c^4-8\,A^2\,a\,b^2\,c^3+2\,A^2\,b^4\,c^2-20\,A\,C\,a^2\,b\,c^3+20\,A\,C\,a\,b^3\,c^2-4\,A\,C\,b^5\,c+6\,B^2\,a^2\,b\,c^3-10\,B^2\,a\,b^3\,c^2+2\,B^2\,b^5\,c-4\,C^2\,a^3\,c^3+18\,C^2\,a^2\,b^2\,c^2-12\,C^2\,a\,b^4\,c+2\,C^2\,b^6\right )}{c^3}\right )+\frac {A^3\,a^2\,b\,c^2+A^2\,C\,a^3\,c^2-2\,A^2\,C\,a^2\,b^2\,c-A\,B^2\,a^3\,c^2+A\,B^2\,a^2\,b^2\,c+A\,C^2\,a^2\,b^3-B^2\,C\,a^3\,b\,c+C^3\,a^4\,c-C^3\,a^3\,b^2}{c^3}+\frac {x\,\left (A^2\,B\,a^2\,b\,c^2+2\,A\,B\,C\,a^3\,c^2-2\,A\,B\,C\,a^2\,b^2\,c-B^3\,a^3\,c^2+B^3\,a^2\,b^2\,c-2\,B\,C^2\,a^3\,b\,c+B\,C^2\,a^2\,b^3\right )}{c^3}\right )\,\mathrm {root}\left (128\,a\,b^2\,c^6\,z^4-16\,b^4\,c^5\,z^4-256\,a^2\,c^7\,z^4-256\,B\,a^2\,b\,c^5\,z^3+128\,B\,a\,b^3\,c^4\,z^3-16\,B\,b^5\,c^3\,z^3-64\,A\,C\,a\,b^4\,c^2\,z^2+144\,A\,C\,a^2\,b^2\,c^3\,z^2+8\,A\,C\,b^6\,c\,z^2+80\,C^2\,a^3\,b\,c^3\,z^2+32\,B^2\,a\,b^4\,c^2\,z^2-48\,A^2\,a^2\,b\,c^4\,z^2+28\,A^2\,a\,b^3\,c^3\,z^2+36\,C^2\,a\,b^5\,c\,z^2-64\,A\,C\,a^3\,c^4\,z^2-100\,C^2\,a^2\,b^3\,c^2\,z^2-56\,B^2\,a^2\,b^2\,c^3\,z^2-4\,B^2\,b^6\,c\,z^2-32\,B^2\,a^3\,c^4\,z^2-4\,A^2\,b^5\,c^2\,z^2-4\,C^2\,b^7\,z^2+32\,A\,B\,C\,a^3\,b\,c^2\,z-8\,A\,B\,C\,a^2\,b^3\,c\,z-20\,B\,C^2\,a^3\,b^2\,c\,z+4\,A^2\,B\,a^2\,b^2\,c^2\,z-16\,B^3\,a^3\,b\,c^2\,z+4\,B^3\,a^2\,b^3\,c\,z+16\,B\,C^2\,a^4\,c^2\,z+4\,B\,C^2\,a^2\,b^4\,z-16\,A^2\,B\,a^3\,c^3\,z+2\,A^3\,C\,a^3\,b\,c+4\,A\,B^2\,C\,a^4\,c-2\,A^2\,C^2\,a^4\,c+2\,A\,C^3\,a^4\,b-A^2\,B^2\,a^3\,b\,c-B^2\,C^2\,a^4\,b-A^2\,C^2\,a^3\,b^2-A^4\,a^3\,c^2-B^4\,a^4\,c-C^4\,a^5,z,k\right )\right )+\frac {B\,x^2}{2\,c}+\frac {C\,x^3}{3\,c} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________